void printk(char *s, ...);
